import javax.servlet.ServletException;
import javax.servlet.annotation.WebServlet;
import javax.servlet.http.HttpServlet;
import javax.servlet.http.HttpServletRequest;
import javax.servlet.http.HttpServletResponse;
import java.io.IOException;

@WebServlet("/Servlet2")
public class Servlet2 extends HttpServlet {
    protected void doPost(HttpServletRequest request, HttpServletResponse response) throws ServletException, IOException {
        doGet(request,response);
    }

    protected void doGet(HttpServletRequest request, HttpServletResponse response) throws ServletException, IOException {
        request.getSession().removeAttribute("userName");
        request.getSession().removeAttribute("token");
       // response.sendRedirect("https://cas.dgut.edu.cn/logout?callback=http://localhost:8080/index.jsp");
        response.sendRedirect("https://cas.dgut.edu.cn/logout?callback=http://localhost:8080/login.jsp");
    }
}
